Міністерство освіти і науки України Відкритий міжнародний університет розвитку людини “Україна” Івано-Франківська філія Кафедра КНІВМЕ Дипломна робота на тему: «Технологія розробки программного забезпечення мереж Петрі та вирішення проблем які виникають при їх використанні» ЗМІСТ ВСТУП 4 Розділ 1 6 1.1. ОБЧИСЛЮВАЛЬНІ ПРОЦЕСИ НАД ПАМЯТТЮ 6 1.2. СТРУКТУРИ КЕРУВАННЯ 14 1.3. А–СХЕМИ, А–ПРОГРАМИ 19 1.4. ПАРАЛЕЛЬНІ ОПЕРАТОРНІ СХЕМИ 24 1.5. МОДЕЛІ ПОТОКІВ ДАНИХ 28 Розділ 2 33 МЕРЕЖІ ПЕТРІ 33 2.1 ЗАГАЛЬНІ ВІДОМОСТІ ПРО МЕРЕЖІ ПЕТРІ 33 2.2 ПРИНЦИП ФУНКЦІОНУВАННЯ МЕРЕЖІ ПЕТРІ 34 2.3 ПРОБЛЕМИ РОЗВ’ЯЗНОСТІ МЕРЕЖ ПЕТРІ 38 2.4 РОЗШИРЕНІ МЕРЕЖІ ПЕТРІ 41 Розділ 3 44 3.1. ПЕРЕВІРКА МЕРЕЖІ ПЕТРІ НА ІСНУВАННЯ ТУПИКОВОЇ РОЗМІТКИ (ДЕДЛОКУ) 44 3.2. КОРИСТУВАННЯ ПРОГРАМОЮ 52 ВИСНОВКИ 60 ЛІТЕРАТУРА 61 ДОДАТОК 63  ВСТУП В наш час все більшого поширення набула проблема паралельного обчислення. Разом з нею і виникло багато інших проблем серед яких і моделювання розподілених обчислень. При моделюванні розподілених обчислень розглядаються і класичні мережі Петрі, де і є проблема виникнення тупикової розмітки (deadlock). Дослідження цієї проблеми і зумовлює актуальність обраної теми. Класичні мережі Петрі використовуються саме для проектування розподілених обчислень і широко використовується при розробці паралельних процесів та іншого. За допомогою класичних мереж Петрі навіть моделюються операційні системи. При розгляданні класичних мереж Петрі багато інформації наведено в таких книгах: Алгоритмы, математическое обеспечение и архитектура многопроцессорных вычислительных систем; Воеводин В.В. Математические основы параллельных вычислений; Теория параллельного программирования: Прикладные Аспекты. При досліджені проблеми виникнення тупикової розмітки багато інформації здобуто з наступних джерел: Элементы параллельного программирования; Параллельные вычислительные системы. Розглянуто також розширені мережі Петрі і описані вони в наступній літературі: Разрешимость функциональной эквивалентности на подклассе схем потоков данных. Мета роботи – дослідження класичних мереж Петрі, вивчення їх недоліків та проблем які виникають при їх використані, дослідження проблеми досяжності тупикової розмітки. Для досягнення мети в роботі потрібно вирішити такі задачі: вивчити принцип роботи класичних мереж Петрі; вивчити причини виникнення проблем при їх використанні мереж Петрі; вивчити проблему досяжності тупикової розмітки в класичних мережах Петрі. Об'єкт дослідження: технологія розробки мереж Петрі та вирішення проблем які виникають при їх використанні. Предмет дослідження: можливості класичних мереж Петрі, виникнення тупи кокової розмітки. Дослідження мереж Петрі на виникнення тупикової розмітки. Практична значущість: результатом дослідження є програма яка може бути використана, як в практиці так і в начальному процесі. Робота складається з вступу, трьох розділів та висновку. В кінці роботи наведено список використаної літератури та додатки. У вступі розкривається актуальність обраної теми, визначено об’єкт та предмет дослідження та дається характеристика кожного розділу. В першому розділі розглянуто базові поняття та принципи роботи паралельного обчислення . Другий розділ повністю присвячений розгляду класичних мереж Петрі. Третій розділ присвячено опису програмного продукту, реалізація та інструкція по використанню. У висновках звертається увага на обґрунтування результатів дослідження, узагальнюються окремі факти та ідеї, що формувалися під час дослідження. В додатку наведено вихідні коди розробленого програмного продукту. Розділ 1 1.1. ОБЧИСЛЮВАЛЬНІ ПРОЦЕСИ НАД ПАМЯТТЮ Виразом інформаційних складових в наших моделях буде множина процесів, які представляють собою послідовність включення і виключення деяких операторів. В залежності від порядку включення і виключення процеси можуть бути або послідовними або паралельними. І так нехай задана множина М={x, y, xi, . . .} комірок пам’яті ...